Htr1a<tm3.1Rhn> Htr1a<tetO> targeted mutation 3.1, Rene Hen MGI:5439287 Htr1A tetO http://identifiers.org/mgd/MGI:5439287